Intersection theory - PDFSEARCH.IO - Document Search Engine

Intersection theory
Results: 170

#	Item
101	Filename: Ellipint Circumscribing an Ellipsoid about the Intersection … August 16, 2006 5:03 am Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2006-08-16 08:09:32 Matrix theory Spectral theory Representation theory of Lie groups Ellipsoid Eigenvalues and eigenvectors Positive-definite matrix Trace Weight Spectral theory of ordinary differential equations Algebra Mathematics Linear algebra
102	A Type Theory with Partial Equivalence Relations as Types Abhishek Anand, Mark Bickford, Robert L. Constable and Vincent Rahli Cornell University Abstract A small core type language with intersection types in which a par Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2014-04-23 10:39:41 Theoretical computer science Programming language theory Formal methods Models of computation Type system Partial equivalence relation Equivalence relation Lambda calculus Dependent type Type theory Data types Mathematics
103	Eﬃcient Euclidean Projections onto the Intersection of Norm Balls Hao Su∗1 [removed] Adams Wei Yu∗2 [removed] Add to Reading List Source URL: vision.stanford.edu Language: English - Date: 2013-09-22 17:55:33 Operator theory Functional analysis Mathematical optimization Spectral theory Norm Projection Vector space Von Neumann algebra Convex optimization Algebra Mathematics Linear algebra
104	Simple, Ecient Object Encoding using Intersection Types Karl Crary January 1999 CMU-CS[removed] Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 1999-01-18 18:16:30 Type theory Data types Object-oriented programming Subtype polymorphism Type system Objective-C Closure Dynamic dispatch Recursive data type Software engineering Computing Computer programming
105	Keith Warren Assistant Professor College of Social Work The Ohio State University The Intersection of Agent-Based Models, Land Use and Community Mental Health Add to Reading List Source URL: www.csiss.org Language: English - Date: 2004-12-13 09:15:17 Sociology Complex systems theory Environmental social science Ecology Biophilia hypothesis Hypotheses Mental disorder Agent-based model Environmental psychology Science Ethology Biology
106	R(4,5) = 25 Brendan D. McKay+ Stanislaw P. Radziszowski∗ Add to Reading List Source URL: cs.anu.edu.au Language: English - Date: 2007-05-03 03:40:54 Graph operations Path decomposition Intersection graph Graph theory Neighbourhood Graph
107	INTRODUCTION TO MORI THEORY Cours de M2 – [removed]Universit´e Paris Diderot Olivier Debarre November 15, 2011 Add to Reading List Source URL: www.math.ens.fr Language: English - Date: 2011-11-15 10:36:55 Birational geometry Cone of curves Minimal model program Divisor Canonical bundle Ample line bundle Adjunction formula Intersection number Blowing up Algebraic geometry Abstract algebra Geometry
108	Fitting and Using Model Hamiltonian in Add to Reading List Source URL: etheses.bham.ac.uk Language: English - Date: 2012-11-26 12:13:35 Vibronic coupling Diabatic Born–Oppenheimer approximation Multi-configuration time-dependent Hartree Hartree–Fock method Jahn–Teller effect Conical intersection Perturbation theory Chemistry Quantum chemistry Physics
109	Reasoning about Joint Action and Coalitional Ability in Kn with Intersection 1 ˚ Thomas Agotnes and Natasha Alechina2 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 12:39:50 Interpretation Model theory Philosophy of language Philosophy of mind Semantics Function Constructible universe Linear temporal logic Μ operator Mathematics Logic Mathematical logic
110	ANALCO15 – List of Accepted Papers Jun Zhao, Osman Yağan, and Virgil Gligor On k-Connectivity and Minimum Vertex Degree in Random s-Intersection Graphs Milan Bradonjic and Iraj Saniee Bootstrap Percolation on Periodic Add to Reading List Source URL: www.siam.org Language: English - Date: 2014-10-08 12:32:55 Mathematics Tree Quicksort Structure Abstraction Combinatorics Percolation Systems theory

UPDATE